%neighbour(4, 3).
neighbour(4, 2).
neighbour(4, 1).
neighbour(4, 2).
neighbour(3, 1).
neighbour(3, 2).
neighbour(1, 2).

country(i0, 4, 2, 2, 9, 12).
country(i1, 4, 8, 2, 22, 9).
country(i2, 4, 21, 2, 28, 12).
country(i3, 3, 2, 12, 9, 21).
country(i4, 3, 8, 15, 22, 21).
country(i5, 3, 21, 12, 28, 21).
country(i6, 1, 9, 9, 15, 15).
country(i7, 2, 15, 9, 21, 15).